integrate_1^infty 1/(e^x-e^(-x))